English primitive recursion: תרגום לשפות אחרות